$\vdash$  $\forall$$P$,$Q$,$R$:$\mathbb{P}$. ($P$ $\Rightarrow$ $Q$) $\Rightarrow$ ($Q$ $\Rightarrow$ $R$) $\Rightarrow$ \{$P$ $\Rightarrow$ $R$\}